- 正确性证明
- proof: n. 1.证明；证据；【法律】证件；【法律】(口头或书面 ...
- proof of correctness: 程序正确性证明; 正确性证明
- partial correctness proof: 部分正确性证明
- programming correctness proof: 程序正确性证明
- proof of program correctness: 程序正确性证明
下载手机词典可随时随地查词查翻译
correctness proof中文什么意思
- 正确性证明
下载手机词典可随时随地查词查翻译
例句与用法
- Give out a correctness proof for the protocol based on the strand space model theory and kailar logic
使用ssm理论和kailar逻辑证明了该协议的安全性质。 - One thing should be pointed out is that the correctness proof based on strand space is valid only on the attack set already known
需要指出的是：基于strand空间理论的正确性证明是建立在已知攻击集的基础上的。 - 3 halpern j , zuck l . a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols . journal of the acm , 1992 , 39 : 449 - 478
并且他们只是用认识逻辑描述协议的规范,但没有给出相应的算法,即给出一个具体的协议，如何自动生成公理集并自动验证他满足一些认知规范 - But at present , many mobile banking systems only use some cryptographic algorithms as security measures , without depicting the procedure of message exchanging as a secuity protocol , needless to say how to analyze it or provide the correctness proof of it
但目前很多手机银行系统中只是简单的使用了若干密码算法作为安全措施，没有把消息交换过程抽象描述成安全协议的形式，更谈不上对其进行形式化的分析证明。